Congruence modularity implies cyclic terms for finite algebras
نویسندگان
چکیده
منابع مشابه
Congruence Modularity Implies Cyclic Terms for Finite Algebras
An n-ary operation f : An → A is called cyclic, if it is idempotent and f(a1, a2, a3, . . . , an) = f(a2, a3, . . . , an, a1) for every a1, . . . , an ∈ A. We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than |A|.
متن کاملCongruence ABC implies ABC
The ABC conjecture of Masser and Oesterlé states that if (a, b, c) are coprime integers with a+ b+ c = 0, then sup(|a|, |b|, |c|) < cǫ(rad(abc)) 1+ǫ for any ǫ > 0. In [2], Oesterlé observes that if the ABC conjecture holds for all (a, b, c) with 16|abc, then the full ABC conjecture holds. We extend that result to show that, for every integer N , the “congruence ABC conjecture” that ABC holds fo...
متن کاملCongruence Distributivity Implies Bounded Width
We show that a constraint language with compatible Jónnson terms (i.e. associated with an algebra generating a congruence distributive variety) defines a Constraint Satisfaction Problem solvable by the local consistency checking algorithm.
متن کاملAn Easy Test for Congruence Modularity
We describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a nontrivial congruence identity. Our results yield slight strengthenings of Day’s Theorem and Gumm’s Theorem, which each characterize congruence modularity.
متن کاملExpansions of finite algebras and their congruence lattices
In this paper we present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra 〈B, . . .〉, let B1, B2, . . . , BK be sets which intersect B at specific points. We construct an overalgebra 〈A,FA〉, by which we mean an expansion of 〈B, . . .〉 with universe A := B ∪ B1 ∪ · · · ∪ BK , and a certain set FA of unary o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2009
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-009-0025-z